41. Granular Computing
پدیدآورنده : edited by Witold Pedrycz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
42. Grundlagen der Information
پدیدآورنده : von Horst Völz
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Computer science.,Electronic data processing.,Informatik,Information.,Informationstheorie,Informationstheorie, 0 Gesamtdarstellung.,Mathematik
43. Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science :
پدیدآورنده : edited by Robert E. Butts, Jaakko Hintikka.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : History.,Philosophy (General),Science -- Philosophy.
44. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده : Louise Gerdes, book editor.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
45. Ibn al-Khashshāb - Encyclopaedia of Islam, THREE
پدیدآورنده : Hämeen-Anttila, Jaakko
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Islam.
46. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
47. Includes bibliographical references (p. 375) and index. 0
پدیدآورنده : Brian M. Fagan.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
48. Information flow :
پدیدآورنده : Jon Barwise, Jerry Seligman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing.
رده :
QA76
.
9
.
D5
B363
1997
49. Insight into fuzzy modeling /
پدیدآورنده : Vilém Novák, Irina Perfilieva, and Antonín Dvóřák, University of Ostrava, Institute for Research and Applications of Fuzzy Modeling, the Czech Republic
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Fuzzy mathematics.,Fuzzy systems-- Mathematical models.,Simulation methods.
رده :
T57
.
N68
2016
50. Intelligent Information Processing and Web Mining
پدیدآورنده : edited by Mieczysław A. Kłopotek, Sławomir T. Wierzchoń, Krzysztof Trojanowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation.,Engineering mathematics.,Engineering.,Engineering.,Information storage and retrieval systems.,Mathematics.,Appl.Mathematics/Computational Methods of Engineering.,Information and Communication, Circuits.,Information Systems and Communication Service.,Operations Research/Decision Theory.,Simulation and Modeling.
51. Interdisciplinary perspectives on math cognition /
پدیدآورنده : Marcel Danesi, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cognitive psychology.,Mathematical ability.,Mathematics-- Study and teaching-- Psychological aspects.,Cognitive psychology.,Mathematical ability.,Mathematics-- Study and teaching-- Psychological aspects.
رده :
QA11
.
2
52. Intermediate quantities :
پدیدآورنده : Philip L. Peterson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Grammar, Comparative and general-- Quantifiers.,Language and logic.,Semantics (Philosophy),Grammar, Comparative and general-- Quantifiers.,Language and logic.,LANGUAGE ARTS & DISCIPLINES / Grammar & Punctuation.,LANGUAGE ARTS & DISCIPLINES / Linguistics / Syntax.,Semantics (Philosophy)
رده :
P299
.
Q3
P48
2018
53. Introduction to deep learning :
پدیدآورنده : Sandro Skansi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics.,Machine learning.,Neural networks (Computer science),Coding theory & cryptology.,Coding theory.,Computer science.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Database Management-- Data Mining.,Computers-- Information Theory.,Data mining.,Data mining.,Image processing.,Image processing.,Mathematical modelling.,Mathematics-- Applied.,Neural networks (Computer science),Pattern perception.,Pattern recognition.
رده :
QA76
.
9
.
D343
54. Introduction to formal philosophy /
پدیدآورنده : Sven Ove Hansson, Vincent F. Hendricks, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.
رده :
B808
.
5
.
I58
2018
55. Introduction to the mathematics of language study
پدیدآورنده : Brainerd, Barron
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Mathematical linguistics
رده :
P
123
.
B7
56. Joachim Lambek :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
57. Justification logic :
پدیدآورنده : Sergei Artemov (Graduate Center, City University of New York), Melvin Fitting (Graduate Center, City University of New York).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.,Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.
رده :
QA9
.
A78
2019
58. Language and Mathematics
پدیدآورنده : \ Marcel Danesi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematical Linguistics,زبان‌شناسی ریاضی,a03,a03,Language arts -- Correlation with content subjects.,مهارت‌های زبانی -- همبستگی با موضوع‌های محتوایی
رده :
E-Book
,
59. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
60. Language and human understanding :
پدیدآورنده : David Braine.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cognitive grammar-- History.,Communication-- History.,Comparative linguistics-- History.,Psycholinguistics-- History.,Typology (Linguistics),Cognitive grammar.,Communication.,Comparative linguistics.,LANGUAGE ARTS & DISCIPLINES-- General.,PHILOSOPHY-- General.,Psycholinguistics.,Typology (Linguistics)
رده :
P143
.
B73
2014eb
